[[Category theory MOC]]
# Pseudoautistic category

A category $\cat C$ is **pseudoautistic** iff there exists a [[category of categories]] $\cat C_{1}$ and a category $\cat C_{2} \in \cat C_{1}$ such that $\cat C_{1} \cong \cat C \cong \cat C_{2}$ are isomorphic,[^1999] #m/def/cat
and thus $\cat C_{1}$ is an [[autistic category]].

  [^1999]: 1999\. [[Sources/@simpsonFOMRussellParadox1999|FOM: Russell paradox for naive category theory]]

## Properties

- [[Simpson's lemma]]
- [[Russell's paradox for categories]]

#
---
#state/tidy | #lang/en | #SemBr